|
A symmetric bilinear form on a vector space is a linear map from two copies of the vector space to the field of scalars such that the order of the two vectors does not affect the value of the map. In other words, it is a bilinear function that maps every pair of elements of the vector space to the underlying field such that for every and in . They are also referred to more briefly as just symmetric forms when "bilinear" is understood. Symmetric bilinear forms on finite-dimensional vector spaces precisely correspond to symmetric matrices given a basis for ''V''. Among bilinear forms, the symmetric ones are important because they are the ones for which the vector space admits a particularly simple kind of basis known as an orthogonal basis (at least when the characteristic of the field is not 2). Given a symmetric bilinear form ''B'', the function is the associated quadratic form on the vector space. Moreover, if the characteristic of the field is not 2, ''B'' is the unique symmetric bilinear form associated with ''q''. == Formal definition == Let '' V'' be a vector space of dimension ''n'' over a field ''K''. A map is a symmetric bilinear form on the space if: * * * The last two axioms only imply linearity in the first argument, but the first axiom then immediately implies linearity in the second argument as well. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Symmetric bilinear form」の詳細全文を読む スポンサード リンク
|